The Repository - PDFSEARCH.IO - Document Search Engine

The Repository
Results: 4114

#	Item
301	We have decided to use a Zenodo Community to host the proceedings of BDExoCon. Zenodo is an emerging data and publication repository from CERN and supported via EU research funds. Every upload is assigned a DOI, making i Add to Reading List Source URL: altbibl.io Language: English - Date: 2014-11-30 09:47:07 Open data Open access Zenodo Session Electronic submission
302	The ecce Partial Deduction System Michael Leuschel K.U. Leuven, Department of Computer Science Celestijnenlaan 200 A, B-3001 Heverlee, Belgium e-mail: Fax: ++at DIKU, Copenhagen) Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:02 Predicate logic Universal generalization
303	Pinfield, StephenCan open access repositories and peer-reviewed journals coexist? Serials, ppAccess from the University of Nottingham repository: http://eprints.nottingham.ac.ukSerials_2 Add to Reading List Source URL: eprints.nottingham.ac.uk Language: English - Date: 2016-05-17 01:17:04 Open access Academic publishing Communication Research Electronic publishing EPrints Institutional repository Eprint University of Nottingham Nottingham
304	A Garden History & Design One Minute Report from the Archives of American Gardens (AAG) The Smithsonian’s Archives of American Gardens is a repository of photographic images including those relating to over 4,500 garde Add to Reading List Source URL: www.litchfieldgardenclub.org Language: English - Date: 2016-03-22 09:04:06 Landscape Magic lantern Garden Club of America Garden
305	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning
306	Aquaexcel repository - BioWes Installation 1. Connect to Aquaexcel server - http:/// (put it to your browser) 2. Click to Registration a. Type your email, first name, last name and create password b. Your Add to Reading List Source URL: www.aquaexcel.eu Language: English - Date: 2015-04-01 10:37:04 Computer access control Password Security Login Form Password manager Pass the hash
307	“History, if viewed as a repository for more than anecdote or chronology, could produce a decisive transformation in the image of science by which we are now possessed. That image has previously been drawn, even by sc Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2000-11-09 10:15:45 Philosophy of science Epistemology of science Scientific revolution Historiography of science Science studies Paradigm Commensurability Normal science Scientific progress Thomas Kuhn Scientific method Strong programme
308	To be published in Program AugustRepositories for research: Southampton’s evolving role in the knowledge cycle Pauline Simpson and Jessie Hey Author 1: Pauline Simpson is Head of Information Services and Project Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2010-12-20 10:44:23 Academic publishing Open access Communication Research Institutional repository EPrints Registry of Open Access Repositories OpenDOAR Open Archives Initiative OPUS Preprint Subversive Proposal
309	A Self-Applicable Supercompiler Andrei P. Nemytykh Victoria A. Pinchuk Programming Systems Institute, Pereslavl-Zalesski, Russia Valentin F. Turchin The City College of New York Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Functional languages Subroutines Refal Metacompilation Closure Pattern matching Free variables and bound variables Variable Parameter Lisp Expression
310	Searching Archives on the Web2012 Add to Reading List Source URL: www.edlc.co.uk Language: English - Date: 2012-02-15 11:31:43 Documents Kew London The National Archives Archive AIM25 National Archives of Scotland Archon Institutional repository

UPDATE